101. Automated technology for verification and analysis
پدیدآورنده : Zhiming Liu, Anders P. Ravn (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2009
102. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
103. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
105. Bioinspired Computation in Artificial Systems
پدیدآورنده : \ [Edited by] José Manuel Ferrández Vicente...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Natural computation -- Congresses.,Artificial intelligence -- Engineering applications -- Congresses.,Artificial intelligence -- Medical applications -- Congresses.,هوش مصنوعی -- کاربردهای مهندسی -- کنگره ها ,هوش مصنوعی -- کاربردهای پزشکی -- کنگره ها
رده :
Q
336
.
B5
2015
E-Book
,
106. CIS Workshops 2007 :
پدیدآورنده : edited by Yuping Wang [and others] ; IEEE Computer Society.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Multimedia systems, Congresses.,Soft computing, Congresses.,Artificial intelligence.,Computational intelligence.,Computer Science.,Engineering & Applied Sciences.,Multimedia systems.,Soft computing.
رده :
QA76
.
9
.
S63
I563
2007
107. Certification and security in inter-organizational E-services :
پدیدآورنده : edited by Enrico Nardelli, Maurizio Talamo.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business-- Data processing-- Security measures, Congresses.,Computer security, Congresses.,Business-- Data processing-- Security measures.,Computer Science.,Computer security.,Electrical & Computer Engineering.,Engineering & Applied Sciences.,Informatique.,Telecommunications.
رده :
QA76
.
9
.
A25
I462
2005
108. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
109. Chinese lexical semantics :
پدیدآورنده : Jia-Fei Hong, Qi Su, Jiun-Shiung Wu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chinese language-- Semantics, Congresses.,Computational linguistics, Congresses.,Artificial intelligence.,Chinese language-- Semantics.,Computational linguistics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Computers-- System Administration-- Storage & Retrieval.,Foreign Language Study-- Chinese.,Information retrieval.,Software Engineering.
رده :
PL1291
.
C45
2018eb
110. Cognitive Informatics and Soft Computing :
پدیدآورنده : Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.
رده :
Q342
111. Collaborative computing :
پدیدآورنده : Imed Romdhani, Lei Shu, Hara Takahiro, Zhangbing Zhou, Timothy Gordon, Deze Zeng (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Multimedia systems, Congresses.,Online social networks, Congresses.,Artificial Intelligence.,Computer Systems Organization and Communication Networks.,Information Storage and Retrieval.,Information Systems and Communication Service.,Computer networking & communications.,Computer networks.,Computers-- Computer Science.,Computers-- Hardware-- General.,Computers-- Online Services-- General.,Computers-- System Administration-- Storage & Retrieval.,Electronic data processing-- Distributed processing.,Information retrieval.,Multimedia systems.,Online social networks.,Program concepts-- learning to program.
رده :
TK5105
.
5
112. Communication, devices, and computing :
پدیدآورنده : Jaydeb Bhaumik, Indrajit Chakrabarti, Bishnu Prasad De, Banibrata Bag, Surajit Mukherjee, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer security, Congresses.,Artificial intelligence.,Communications engineering-- telecommunications.,Computer networks.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
TK5105
.
5
113. Complex networks :
پدیدآورنده : Luciano F. Costa [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses
رده :
TK5105
.
5
.
C66
2011
114. Complex systems design & management Asia :
پدیدآورنده : Michael Alexandre Cardin, Daniel Hastings, Peter Jackson, Daniel Krob, Pao Chuen Lui, Gerhard Schmitt, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : System design, Congresses.,Artificial intelligence.,Cybernetics & systems theory.,SCIENCE / System Theory.,System design.,TECHNOLOGY & ENGINEERING / Operations Research.
رده :
QA76
.
9
.
S88
A73
2018
115. Computational Intelligence in Architecting Complex Engineering Systems : proceedings of the Artificial Neural Networks in Engineering Conference )ANNIE 2009( held November 2-4, 2009, in St. Louis, Missuri, U.S.A.
پدیدآورنده : editors, Cihan H. Dagli...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computational intelligence,Congresses ، Systems engineering,Congresses ، Neural networks )Computer science(
رده :
QA
76
.
87
.
A784
2009
116. Computational Intelligence in Architecting Engineering Systems :
پدیدآورنده : editors, Cihan H. Dagli ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Neural networks (Computer science), Congresses
رده :
QA76
.
87
.
I55
2009
117. Computational and statistical methods in intelligent systems /
پدیدآورنده : Radek Silhavy, Petr Silhavy, Zdenka Prokopova, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics, Congresses.,Computer algorithms, Congresses.,Artificial Intelligence.,Computational Intelligence.,Artificial intelligence-- Mathematics.,Computer algorithms.,COMPUTERS / General
رده :
Q334
118. Computational intelligence and information technology :
پدیدآورنده : Vinu V Das, Nessy Thankachan (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Information technology, Congresses.
رده :
Q342
.
I58
2011
119. Computational intelligence and intelligent systems :
پدیدآورنده : Kangshun Li, Wei Li, Zhangxing Chen, Yong Liu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Expert systems (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computational intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems (Computer science),Network hardware.
رده :
Q342
120. Computational intelligence and mathematics for tackling complex problems /
پدیدآورنده : László T. Kóczy, Jesús Medina-Moreno, Eloísa Ramírez-Poussa, Alexander Šostak, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Fuzzy mathematics, Congresses.,Computational intelligence.,Fuzzy mathematics.
رده :
QA248